de
en
Schliessen
Detailsuche
Bibliotheken
Projekt
Impressum
Datenschutz
zum Inhalt
Detailsuche
Schnellsuche:
OK
Schließen
Autoren / Beteiligte
1
Einträge für
Müller-Olm, Markus
1
Einträge für
Nordhoff, Benedikt
1
Einträge für
Nordhoff, Benedikt Heinrich Josef
1
Einträge für
Nordhoff, Heinrich Josef
1
Einträge für
Nordhoff, Josef
1
Einträge für
Olm, Markus Müller-
1
Treffer
für
Schlagwort = "program verification"
Klassifikation
Schliessen
Filter
zu den Filteroptionen
Relevanz
Titel
Personen
Ort
Jahr
A
B
C
D
E
F
G
H
I
J
K
L
M
N
O
P
Q
R
S
T
U
V
W
X
Y
Z
Alle Titel
Klassifikation (DDC)
Informatik, Informationswissenschaft, allgemeine Werke
Philosophie und Psychologie
Religion
Sozialwissenschaften
Naturwissenschaften und Mathematik
Sprache
Künste und Unterhaltung
Geschichte und Geografie
Technik, Medizin, angewandte Wissenschaften
Literatur
Security Through Safety - An Approach to Information Flow Control Based on Derivation of Safety Properties from a Characterisation of Insecure Behavio [...]
Nordhoff, Benedikt
;
Nordhoff, Benedikt Heinrich Josef
;
Nordhoff, Heinrich Josef
;
Nordhoff, Josef
2021
